type U =
    /// Aa
    | A

    /// Bb
    | B
